COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002		John, consis.kgk[1,kgk] has my thoughts on your file knowle[f81,jmc].
C00005 ENDMK
C⊗;
	John, consis.kgk[1,kgk] has my thoughts on your file knowle[f81,jmc].
KNOW[E78,JMC]		FORMALIZATION OF TWO PUZZLEs INVOLVING KNOWLEDGE
KNOW.ART[F75,JMC] 18-sep-77	AN AXIOMATIZATION OF KNOWLEDGE
KNOWLE.AX[E78,JMC]	start on knowledge axioms with learning and K(person,
KNOW3.AX[E76,JMC] 03-Aug-76	Concepts with assignments and arithmetic
KNO1.PRF[E76,JMC] 28-Jul-76	A person comes to know what he is told.
KNOW.AX[E76,JMC] 27-Jul-76	with concepts, wants and future
KNO2.AX[E76,JMC] 30-Jul-76	Knowledge with wants and likes
CONCEP.AX[s76,JMC] 03-Jun-76	Notes for knowledge, can, causality axioms
KNOW.AX[s76,JMC] 05-Jun-76	Propositions are true in situations
TAUT.PRF[F75,JMC] 13-Dec-75	Even fools know tautologies
KNOW.AX[F75,JMC] 15-Dec-75	General knowledge axioms
KNOW.AX2[F75,JMC] 29-Dec-75	Kripkean knowledge axioms
NOTEBO.OK[s77,JMC] 05-Jun-77	Knowledge, political statements by scientists
KNOW[W76,JMC] 30-Mar-76		KNOWLEDGE OF TELEPHONE NUMBERs
KNOW[F78,JMC]		"Mike knows what Joan asserted", etc.
KNOCOM[W79,JMC]		COMPUTATION WITH sTATEs OF KNOWLEDGE
ABOUT[W80,JMC]		Knowing about
BODY[W80,JMC]		Bodies of knowledge
JOINT[W80,JMC]		JOINT KNOWLEDGE
KNOW.2[W81,JMC]		Formalization of two puzzles involving knowledge
know[w81,jmc]		original jmc knowledge axioms and version in FOL
know[e81,jmc]		Revising Montague's knowledge axioms
knowax.lsp[f81,jmc]	Modal knowledge axioms in ekl with wisemen puzzle